Making random choices invisible to the scheduler

Making Random Choices Invisible to the Scheduler

When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to resolve the nondeterminism. It has been observed that for certain applications, notably those in security, the scheduler needs to be restricted so not to reveal the outcome of the protocol’s random choices, or otherwise the model ...

Making the invisible visible.

There would be no population problems if people were not concerned about the evidently increasing difficulties of survival. Such is not the case as is evident in the global efforts for economic and social development. Yet, in the minds of most people the population question as a "situation" or a "problem" does not exist. When its reality is asserted by others, it is frequently regarded as a ...

Integrated Decision Making – The Choices

Virtual Classrooms: Making the Invisible, Visible

In this ‘work in progress’ paper, we describe research into e-learning and virtual reality at Shanghai Jiaotong University (SJTU) and Essex University respectively. We use our experience to propose a novel virtualised learning model and architecture to support online learners and teachers to visualize important learning related information that has hitherto been invisible to users of online lea...

Making safer treatment choices